41. Computer science question bank

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Computers,، Electronic data processing,، Programming Languages )Electronic Computers(

رده :
QA
76
.
B3
1996

42. Computer science reader :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
QA76
.
24
C667
2013

43. Constraint-based grammar formalisms : parsing and type inference for natural and computer languages

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computational linguistics,Data processing ، Grammar, Comparative and general,Syntax ، Programming languages )Electronic computers(,، Parsing )Computer grammar(

رده :
P
98
.
S5

44. Cooperative interfaces to information systems

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Online data processing,، Programming languages )Electronic computers(,، Information storage and retrieval systems

رده :
QA
76
.
55
.
C66
1986

45. Coordination Models and Languages :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Electronic data processing-- Distributed processing, Congresses.,Software architecture, Congresses.,Computer network architectures.,Computer science.,Electronic data processing-- Distributed processing.,Operating systems (Computers),Software architecture.,Software engineering.

رده :
QA76
.
758

46. Current trends in concurrency :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.

47. Data analysis and visualization using Python :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Data mining.,Programming languages (Electronic computers),Python (Computer program language),Qualitative research-- Methodology.,Computer programming-- software development.,COMPUTERS-- Programming Languages-- Python.,Data mining.,Databases.,Programming & scripting languages: general.,Programming languages (Electronic computers),Python (Computer program language),Qualitative research-- Methodology.

رده :
QA76
.
73
.
P98
E43
2018eb

48. Data analysis with Python :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Electronic data processing.,Machine learning.,Python (Computer program language),Artificial intelligence.,COMPUTERS / Programming Languages / Python,Electronic data processing.,Machine learning.,Python (Computer program language)

رده :
QA76
.
73
.
P98

49. Data base description : proceedings of the IFIP TC-2 Special Working Conference on Data Base Description

پدیدآورنده :

موضوع : Congresses ، Programming languages )Electronic computers(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

50. Data jujitsu :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Database management.,Databases-- Quality control.,Electronic data processing.,COMPUTERS-- Programming Languages-- SQL.,Database management.,Databases-- Quality control.,Electronic data processing.

رده :
QA76
.
9
.
D3

51. Definition of programming languages by interpreting automata

پدیدآورنده :

موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

52. Designing systems programs

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER

رده :
QA
76
.
5
.
G35

53. Distributed Programmin

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing

رده :
E-BOOK

54. Finite representations of CCS and TCSP programs by automata and Petri nets

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
D5
.
T39
1989

55. Finite representations of CCS and TCSP programs by automata and Petri nets

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
D5
T39
1989

56. Finite representations of CCS and TCSP programs by automata and Petri nets

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
369

57. Finite representations of CCS and TCSP programs by automata and Petri nets

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;

58. Formal methods for concurrency

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(

رده :
QA
76
.
54
.
F46
1996

59. From Point to Pixel:

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

60. GNU Octave

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Numerical analysis-- Data processing,Programming languages (Electronic computers)

رده :
QA76
.
73
.
G58
S36
2011